Formal method

Designing a provably correct robt control system using a ‘lean’formal method

Automotive Industry / System Design / Formal method / Life Cycle / Robot Control / Real Time / Seismic analysis and design / Agent Modeling / Safety Integrity Level / Spectrum / Real Time / Seismic analysis and design / Agent Modeling / Safety Integrity Level / Spectrum

A framework for security assurance of access control enforcement code

Access Control / Case Study / Formal method / Software Development Process / Computers Security / Access Control Policy

Incremental Parametric Development of Greedy Algorithms

Cognitive Science / Data Structure / Computer Software / Formal method / Proof Complexity / B Method / Greedy Algorithm / B Method / Greedy Algorithm

Systematic development of correct Bulk Synchronous Parallel programs

Functional Programming / Parallel Programming / Cost Model / Formal Specification / Formal method / Parallel / Proof assistant / Parallel / Proof assistant

A requirements-based programming approach to developing a NASA autonomous ground control system

Cognitive Science / Artificial Intelligence / Formal methods / Control system / Verification / Formal method / Autonomous Systems / Autonomic System / Automatic code generation / Formal method / Autonomous Systems / Autonomic System / Automatic code generation

Using Pareto Trace to determine system passive value robustness

Sensitivity Analysis / System Design / Dynamic Analysis / Conceptual Design / Formal method / Low Earth Orbit / Decision Maker / Low Earth Orbit / Decision Maker

Acquiring qualitative knowledge about complex agroecosystems. Part 1: Representation as natural language

Participatory Research / Automated reasoning / Environmental Sciences / Natural language / Agricultural Systems / Formal method / Research and Development / Knowledge Acquisition / Knowledge base / Scientific Knowledge / FARMING SYSTEM / Qualitative Modeling / Formal method / Research and Development / Knowledge Acquisition / Knowledge base / Scientific Knowledge / FARMING SYSTEM / Qualitative Modeling

A Formal Methodology to Specify E-commerce Systems

Model Checking / Process Control / Symbolic Computation / Formal methods / Design process / Formal Specification / Formal method / Formal Verification / Application development / Concurrency Control / Boolean Satisfiability / E Commerce / Electronic Commerce / Symbolic Model Checking / Formal Specification / Formal method / Formal Verification / Application development / Concurrency Control / Boolean Satisfiability / E Commerce / Electronic Commerce / Symbolic Model Checking

Formal Techniques for Java Programs

Object Oriented Programming / Semantics / Program Analysis / Java Programming / Formal method / Object Oriented / Programming language / Object Oriented / Programming language

Formal Techniques for Java Programs

Object Oriented Programming / Semantics / Program Analysis / Java Programming / Formal method / Object Oriented / Programming language / Object Oriented / Programming language

A visual approach to validating system level designs

High Level Synthesis / Simulation / Formal Specification / System on Chip / Formal method / System-level design

Agent Paradigm for Adaptable Architecture

Software Architecture / Adaptive Architecture / Computer Software / Object Technology / Formal method / Work in Progress / Quality Attributes / Work in Progress / Quality Attributes

Copyright © 2017 DADOSPDF Inc.